首页> 外文OA文献 >Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification

【2h】

Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification

机译：Horn子句验证中的凸多面体抽象，特化和基于属性的谓词拆分

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Bishoksan Kafle; John P. Gallagher;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Horn clause verification with convex polyhedral abstraction and tree automata-based refinement [J] . Kafle Bishoksan, Gallagher John P. Computer Languages, Systems & Structures . 2017,第pta1期

机译：基于凸多面体抽象和基于树自动机的优化的Horn子句验证
2. Constraint specialisation in Horn clause verification [J] . Bishoksan Kafle, John P. Gallagher Science of Computer Programming . 2017,第apra1期

机译：Horn子句验证中的约束专业化
3. Compositional Verification of PLC Software using Horn Clauses and Mode Abstraction [J] . Dimitri Bohlender, Stefan Kowalewski IFAC PapersOnLine . 2018,第7期

机译：使用Horn子句和模式抽象对PLC软件进行成分验证
4. Constraint Specialisation in Horn Clause Verification [C] . Bishoksan Kafle, John P. Gallagher ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation . 2015

机译：Horn子句验证的约束专业化
5. Unbounded system verification using decision procedure and predicate abstraction. [D] . Lahiri, Shuvendu K. 2004

机译：使用决策程序和谓词抽象进行无限制的系统验证。
6. Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification [O] . Kafle, Bishoksan, Gallagher, John P. 2014

机译：凸多面体抽象，专业化和基于属性 Horn子句验证中的谓词拆分

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号